cc_binary(
    name = "main",
    srcs = ["main.cc"],
    deps = ["@eigen3//:eigen3"],
)
